Home
![](./images/profile.jpg)
Isaac Velasquez
velas129[at]umn[dot]edu
I did my undergrad at Princeton University for Computer Science where I was mentored by Matthew Weaver in Homotopy Type Theory; my interest first being piqued as a result of the field existing at the intersection of philosophy, foundations of math, and computer science. I am now a first-year Doctoral Candidate at the University of Minnesota in the Computer Science department, advised under Favonia. The following are a few of the interests that I hold and that I might touch upon in my various blog posts in the near future.
- Homotopy Type Theory
- German Idealism (Specifically, Phenomenology)
- Theology (Neo-Orthodoxy and Liberation Theology)
- FOSS
Announcements
- TA for CSCI 2041, Advanced Programming Principles Spring 2022
- Presented my Senior Thesis at HoTT MURI Fall 2021